⚡ Circuit Design

Logic Synthesis, Hardware Description Languages, Digital Electronics, Circuit Verification

4-input 2-output Boolean circuits (2020)
cp4space.hatsya.com·1d·
Discuss: Hacker News
⚙️Logic Synthesis
LASA: Enhancing SoC Security Verification with LLM-Aided Property Generation
arxiv.org·1d
🔍FPGA Verification
3D Printed Breathing IC555 LED Trophy
hackster.io·22h
⚡Circuit Archaeology
Red Pitaya STEMlab 125-14 PRO Gen 2 is an AMD Zynq 7010/7020-based board for measurement, control, and signal processing
cnx-software.com·1d
🔍FPGA Verification
Pong in Discrete Components
hackaday.com·18h
🎮GameBoy Architecture
Cactus Language • Syntax 11
inquiryintoinquiry.com·1d
📝Concrete Syntax
Switch project, part 2 - Line Card
serd.es·1d·
Discuss: Hacker News
🔌Single Board PC
ML in the Home
blog.raymond.burkholder.net·1d
📈Time Series
MIT’s New 3D Chips Could Make Electronics Faster and More Energy-Efficient
scitechdaily.com·1d
🖥️Modern Terminals
Microcontrollers: Getting Started
youtube.com·5d
🔌Microcontrollers
Why Binary Won and Nothing Else Even Got Close
b0a04gl.site·19h·
Discuss: Hacker News
🧲RISC-V Archaeology
Beyond Frameworks: How Computer Science Fundamentals Forge the Complete Developer
dev.to·24m·
Discuss: DEV
📏Code Metrics
Kumo Surfaces Structured Data Patterns Generative AI Misses
thenewstack.io·24m
📊Graph Databases
How A Small Class at Caltech Helped Launch a Computer Revolution
caltech.edu·1d·
Discuss: Hacker News
🇩🇪German Computing
Counting with Categories (Part 3)
golem.ph.utexas.edu·22h
λLambda Formalization
PicoEMP: low-cost Electromagnetic Fault Injection (EMFI) tool
github.com·11h·
Discuss: Hacker News
⚡Circuit Archaeology
Plan for Speed -- Dilated Scheduling for Masked Diffusion Language Models
arxiv.org·10h
💻Local LLMs
Why Agentic Flows Need Distributed-Systems Discipline
temporal.io·21h·
Discuss: Hacker News
⚙️TLA+
The Interactive Handbook on Data Structures and Algorithms
cartesian.app·1d·
Discuss: Lobsters, Hacker News, Hacker News
🌳Trie Structures
The Internal Inconsistency of Large Language Models
blog.kortlepel.com·22h·
Discuss: Hacker News
💻Local LLMs